1. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. A chance for possibility : an investigation into the grounds of modality
پدیدآورنده : Steinberg, Alexander, 9791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Possibility,، Realism,، Supervenience )Philosophy(
رده :
BC
199
.
M6S73
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. A general interpreted modal calculus
پدیدآورنده : Bressan, Aldo
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Description )Philosophy(,، Evidence
رده :
BC
199
.
M6
.
B73
1972
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. A new introduction to modal logic
پدیدآورنده : G. E. Hughes, M. J. Cresswell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Logic - Modality
رده :
BC
,
199
,.
H8
,
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. A new introduction to modal logic
پدیدآورنده : Hughes, George Edward, 8191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6H8
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Actuality, Possibility, and Worlds
پدیدآورنده : \ Alexander Robert Pruss
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic),منطق موجهات,a05,a05,Modality (Logic) -- History. ,Possibility -- Psychological aspects.,منطق موجهات -- تاریخ,امکان -- جنبه های روانشناسی
رده :
BC
199
.
P7A25
2011
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Advances in modal logic
پدیدآورنده : editors Frank Wolter... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Modality )Logic(
رده :
BC
199
.
M6A39
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. An introduction to modal logic
پدیدآورنده : Hughes, G. E.)George Edward(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
H8
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. An introduction to modal logic
پدیدآورنده : Hughes, George Edward, 8191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6H8
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Aristotle's Modal Logic
پدیدآورنده : \ Richard Patterson.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic),Metaphysics,(Essence (Philosophy,منطق موجهات,مابعدالطبیعه,ماهیت,a01,a02,a03,a01,a02,a03,Entailment (Logic)
رده :
B
437
.
P32A7
1995
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Arrow logic and multi-modal logic
پدیدآورنده : edited by Maarten Marx, Laszlo Polos, and Michael Masuch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic,، Modality )Logic(
رده :
BC
71
.
A77
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Aspects of Aristotle's logic modalities
پدیدآورنده : Rijen, Jeroen Van, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Aristotle, 383 B.C. - 123 B.C.,، Modality )Logic(
رده :
B
491
.
L8R55
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Aristotles-contribuions in logic of modalities,Modality(logic)
رده :
166
R5725a
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Aristotle - Contributions in logic of modalities,Modality (Logic)
رده :
B491
.
L8R55
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Between saying and doing :towards an analytic pragmatism
پدیدآورنده : Brandom, Robert.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Pragmatism,، Analysis )Philosophy(
رده :
B832
.
B67
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Causality,method and modality=essays in honor of Jules Vuillemin:with a complete bibliography of Jules Vuillemin
پدیدآورنده : / Edited by Grodon G.Brittan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Causation,Philosophy,Vuillemin Jules
رده :
120
B862c
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)